man_MANS = cryptominisat.1
EXTRA_DIST = $(man_MANS)
